Section: New Software and Platforms

QuickChick

Participants : Maxime Dénès [Inria Sophia-Antipolis] , Catalin Hritcu, John Hughes [Chalmers University] , Leonidas Lampropoulos [University of Pennsylvania] , Zoe Paraskevopoulou [Princeton University] , Benjamin Pierce [University of Pennsylvania] .

QuickChick is a verified plugin that integrates property-based testing and proving in the Coq proof assistant. This integration is aimed at reducing the cost of formal verification and at providing stronger, formal foundations to property-based testing. https://github.com/QuickChick/QuickChick